Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 10.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002F03 | Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Eugen Zalinescu [France] | Deciding security properties for cryptographic protocols. Application to key cycles. |
| 004621 | Eugen Zalinescu [France] | Security of cryptographic protocols: decidability and transfer resultats |
| 004753 | Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthetizing secure protocols |
| 004843 | Véronique Cortier [France] ; Eugen Zalinescu [France] | Deciding key cycles for security protocols. |
| 004A41 | Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | Relating two standard notions of secrecy |
| 004E26 | Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthesizing secure protocols |
| 004F55 | Véronique Cortier [France] ; Eugen Zalinescu [France] | Deciding key cycles for security protocols |
| 005021 | Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | Relating two standard notions of secrecy |
| 005732 | Eugen Zalinescu [France] ; Véronique Cortier [France] ; Michaël Rusinowitch [France] | Relating two Standard Notions of Secrecy |
| 005983 | Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures |
| This area was generated with Dilib version V0.6.33. |  |